<body>
	Provides a codec for converting USRs of Hole Semantics into
	labelled dominance graphs.
</body>